Conditional disjunction

In logic, the term conditional disjunction can refer to:

conditioned disjunction, a ternary logical connective introduced by Alonzo Church;
a rule in classical logic that the material conditional ¬p → q is equivalent to the disjunction p ∨ q, so that these two formulas are interchangeable.

This disambiguation page lists articles associated with the same title.
If an internal link led you here, you may wish to change the link to point directly to the intended article.